A Comparison between Usage Modeling Formalisms for Statistical Software Testing
نویسندگان
چکیده
André Gobbi Farina is a postgraduate student of PPGCC at PUCRS/Brazil.
منابع مشابه
Statistical Testing of Software Based on a Usage Model
In statistical testing, a model is developed to characterize the population of uses of the software, and the model is used to generate a statistically correct sample of all uses of the software. A software ‘usage model’ characterizes the population of intended uses of the software in the intended environment. Statistical testing based on a software usage model ensures that the failures that wil...
متن کاملSoftware Reliability Test Based on Markov Usage Model
The reliability test for embedded software system is very difficult due to its complex structure and large scale. Markov usage model which describes the software usage with Markov process is widely used for statistical test. Software statistical test based on Markov usage model is an effective approach to the generation of test cases with high efficiency and the evaluation of software reliabili...
متن کاملAutomated Statistical Testing Suite for Software Validation
Software validation is an important activity in order test whether the correct software has been developed. Several testing techniques have been developed, and one of these is statistical usage testing (SUT). The main purpose of SUT is to test a software product from a user's point of view. Hence, usage models are designed and then test cases are developed from the models. The development of te...
متن کاملSoftware Testing by Statistical Methods Preliminary Success Estimates for Approaches based on Binomial Models, Coverage Designs, Mutation Testing, and Usage Models
A Task Deliverable under a Collaboration between ITL's Statistical Engineering (898) and Software Diagnostics and Conformance Testing (897) Divisions to pursue Statistical Methods that may be applicable to Software Testing
متن کاملEngineering Practices for Statistical Testing
April 1998 When a population is too large for exhaustive study, as is the case for all possible uses of a software system, a statistically correct sample must be drawn as a basis for inferences about the population. In statistical testing of software, testing is treated as an engineering problem to be solved by statistical methods. Figure 1 shows the parallel between a classical statistical des...
متن کامل